תגית: לוגיקה מתמטית

7 פוסטים

• 2013-02-26

  משפט השלמות של גדל, ההוכחה (חלק ב')

• 2013-02-23

  מערכת הוכחה ללוגיקה מסדר ראשון

• 2012-03-12

  אז מה זו לוגיקה מתמטית?

• 2009-04-26

  מה זאת אומרת, כל אחד אחרת? (או: איך ייתכן שהשערת הרצף לא ניתנת להוכחה ולהפרכה, וקצת על גאומטריות לא אוקלידיות)

• 2008-04-17

  אז הנה הקשר בין קומפקטיות ומשפט הקומפקטיות

• 2008-03-03

  כמה קומפקטי יכול להיות הסבר על משפט הקומפקטיות?

• 2007-09-20

  על תורה העומדת על כריעות תרנגולת

← חזרה לכל התגיות